ABS: Id
STM: Id wf
STM: Id sq
STM: free-from-atom-Id
ABS: "$x"
STM: mkid-wf-test
ABS: IdLnk
STM: IdLnk wf
STM: IdLnk sq
ABS: lnk$n{$a to $b}
STM: mklnk-wf-test
ABS: (link n from i to j)
STM: mk lnk wf
STM: free-from-atom-IdLnk
ABS: lnk-inv(l)
STM: lnk-inv wf
STM: lnk-inv-inv
STM: lnk-inv-one-one
ABS: Msg(M)
STM: Msg wf
ABS: msg(l;t;v)
STM: msg wf
ABS: mlnk(m)
STM: mlnk wf
ABS: mtag(m)
STM: mtag wf
ABS: mval(m)
STM: mval wf
ABS: haslink(l;m)
STM: haslink wf
ABS: Msg_sub(l;M)
STM: Msg sub wf
ABS: Knd
STM: Knd wf
STM: Knd sq
STM: free-from-atom-Knd
ABS: isrcv(k)
STM: isrcv wf
ABS: islocal(k)
STM: islocal wf
STM: islocal-not-isrcv
ABS: rcv(l,tg)
STM: rcv wf
ABS: locl(a)
STM: locl wf
STM: locl one one
STM: rcv one one
STM: not rcv locl
STM: not locl rcv
ABS: lnk(k)
STM: lnk wf
ABS: tag(k)
STM: tagof wf
ABS: act(k)
STM: actof wf
ABS: lnk_rcv{lnk_rcv_compseq_tag_def:ObjectId}(tg; l)
ABS: tag_rcv{tag_rcv_compseq_tag_def:ObjectId}(tg; l)
ABS: act_locl{act_locl_compseq_tag_def:ObjectId}(a)
ABS: isrcv_rcv{isrcv_rcv_compseq_tag_def:ObjectId}(tg; l)
ABS: isrcv_locl{isrcv_locl_compseq_tag_def:ObjectId}(a)
STM: local or rcv
ABS: kindcase(k; a.f(a); l,t.g(l;t) )
STM: kindcase wf
STM: kindcase-locl
STM: kindcase-rcv
ABS: kind-rename(ra;rt;k)
STM: kind-rename wf
STM: kind-rename-inj
ABS: msg-rename(rtinv;m)
STM: msg-rename wf
ABS: source(l)
STM: lsrc wf
ABS: destination(l)
STM: ldst wf
ABS: ldst mk lnk compseq tag def
ABS: lsrc mk lnk compseq tag def
ABS: lname(l)
STM: lname wf
ABS: lname mk lnk compseq tag def
STM: lsrc-inv
STM: ldst-inv
ABS: lpath(p)
STM: lpath wf
STM: lpath cons
ABS: lconnects(p;i;j)
STM: lconnects wf
STM: lpath-members-connected
STM: isrcv-implies
ABS: tagged-list-messages(s;v;L)
STM: tagged-list-messages wf
STM: tagged-list-messages-wf2
ABS: tagged-messages(l;s;v;L)
STM: tagged-messages wf
ABS: link_x from i to j
STM: vlnk wf
ABS: dst_vlnk{dst_vlnk_compseq_tag_def:ObjectId}(x; j; i)
ABS: src_vlnk{src_vlnk_compseq_tag_def:ObjectId}(x; j; i)
